Formal Methods and Tools for Distributed System Design
نویسندگان
چکیده
This document describes the research projects of the Formal Methods and Tools re
منابع مشابه
Distributed Cooperative Formal Methods Tools
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiot...
متن کاملAction Relations. Basic Design Concepts for Behaviour Modelling and Refinement
ion level n+2 abstraction level n+1 1.2 Design methodology 7 ping of the design model and its design notation onto a formal model is called the formal semantics of the design model and its design notation, respectively. In this way, the formal model allows the use of mathematical models to compare, analyse and manipulate designs. Section 2.3 elaborates on the relationships between a design mode...
متن کاملTools for the Governance of Urban Design: The Tehran Experience
This research seeks to reflect the managerial, academic and professional experience of the authors in the design and implementation process of urban design projects, aiming to use the application of the “design governance” model, in order to describe the documents and activities of the Department of Urban Planning and Architecture of Tehran Municipality in the last decade. This paper consists ...
متن کاملCode generation in the SACRES project
The SACRES project is dealing with the development of new design methodologies and associated tools for safety critical embedded systems. Emphasis is put on formal techniques for modular veriication of the speciications, distributed code generation, and generated code validation against speciications. This is allowed by using a single formal model which is that of the Dc+ format, which provides...
متن کاملTruth–A Platform for Verification of Distributed Systems
Formal Methods are becoming more an more important for the development of hardware and software systems. Verification tools support the employment of Formal Methods. This paper gives an overview of the design and implementation of the verification tool Truth. We define and explain requirements for verification tools. Furthermore, we discuss several semantic models, specification languages and l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994